Rajeev Alur - PDFSEARCH.IO - Document Search Engine

Rajeev Alur
Results: 97

#	Item
21	Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:31:43
22	CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-26 08:41:48
23	The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv Add to Reading List Source URL: eacsl.kahle.ch Language: English Theoretical computer science Rajeev Alur Logic in computer science Symposium on Logic in Computer Science Automata Hybrid automaton Formal languages Timed automaton
24	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28
25	Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-07-01 16:25:40 Theoretical computer science Engineering Electrical engineering Formal methods Grandes coles Rajeev Alur Model checking Formal verification Cachan cole Normale Suprieure Ens Computer Aided Verification
26	A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur Add to Reading List Source URL: michaelmcdougall.com Language: English - Date: 2006-08-10 20:16:18
27	Trends and Challenges in Algorithmic Software Verification Rajeev Alur Department of Computer and Information Science University of Pennsylvania Email: Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:02
28	Systems Computing Challenges in the Internet of Things Rajeev Alur, Emery Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel Lopresti, Klara Nahrstedt, Elizabeth Mynatt, Shwetak Patel, Jennifer Rexford Add to Reading List Source URL: cra.org Language: English - Date: 2015-10-27 12:59:26 Computing Technology Internet of Things Ambient intelligence Cryptography Cyber-physical system Smart city Computer security IOT Cloud computing Cisco Jasper SensorThings API
29	Automated Analysis of Java Methods for Confidentiality? ˇ Pavol Cern´ y and Rajeev Alur University of Pennsylvania Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2013-01-11 01:48:16
30	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47